Tristan, Jean-Baptiste: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Discrete Anisotropic Radiative Transfer (DART 5) for Modeling Airborne and Satellite Spectroradiometer and LIDAR Acquisitions of Natural and Urban Landscapes

Gastellu-Etchegorry, Jean-Philippe, Yin, Tiangang, Lauret, Nicolas, Cajgfinger, Thomas, Gregoire, Tristan, Grau, Eloi, Feret, Jean-Baptiste, Lopes, Maïlys, Guilleux, Jordan, Dedieu, Gérard, Malenovský

Journal:

Year:

2015

Language:

english

File:

PDF, 43.15 MB

english, 2015

2

The advantages of describing covalent inhibitor in vitro potencies by IC50 at a fixed time point. IC50 determination of covalent inhibitors provides meaningful data to medicinal chemistry for SAR optimization

Thorarensen, Atli, Balbo, Paul, Ellen Banker, Mary, Czerwinski, Robert M, Kuhn, Max, Maurer, Tristan S., Telliez, Jean-Baptiste, Vincent, Fabien, Wittwer, Arthur J.

Journal:

Bioorganic & Medicinal Chemistry

Year:

2020

File:

PDF, 1.23 MB

2020

3

Verified validation of lazy code motion

Tristan, Jean-Baptiste, Leroy, Xavier

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 439 KB

english, 2009

4

Unexpected categories at risk of S. aureus nasal carriage among hospital workers

Boisset, Sandrine, Saadatian-Elahi, Mitra, Landelle, Caroline, Bes, Michèle, Gustave, Claude-Alexandre, Tristan, Anne, Fassier, Jean-Baptiste, Laurent, Frederic, Grando, Jacqueline, Vandenesch, Franço

Journal:

International Journal of Hygiene and Environmental Health

Year:

2019

Language:

english

File:

PDF, 610 KB

english, 2019

5

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Formal verification of translation validators

Tristan, Jean-Baptiste, Leroy, Xavier

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

6

Formal verification of translation validators

Tristan, Jean-Baptiste, Leroy, Xavier

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

7

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Evaluating value-graph translation validation for LLVM

Tristan, Jean-Baptiste, Govereau, Paul, Morrisett, Greg

Year:

2011

Language:

english

File:

PDF, 737 KB

english, 2011

8

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - A simple, verified validator for software pipelining

Tristan, Jean-Baptiste, Leroy, Xavier

Year:

2010

Language:

english

File:

PDF, 663 KB

english, 2010

9

Differences in Mitotic Spindle Architecture in Mammalian Neural Stem Cells Influence Mitotic Accuracy during Brain Development

Vargas-Hurtado, Diana, Brault, Jean-Baptiste, Piolot, Tristan, Leconte, Ludovic, Da Silva, Nathalie, Pennetier, Carole, Baffet, Alexandre, Marthiens, Véronique, Basto, Renata

Journal:

Current Biology

Year:

2019

Language:

english

File:

PDF, 5.37 MB

english, 2019

10

Evaluating value-graph translation validation for LLVM

Tristan, Jean-Baptiste, Govereau, Paul, Morrisett, Greg

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 737 KB

english, 2012

11

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - Verified validation of lazy code motion

Tristan, Jean-Baptiste, Leroy, Xavier

Year:

2009

Language:

english

File:

PDF, 439 KB

english, 2009

12

[ACM Press the 21st ACM SIGPLAN Symposium - Barcelona, Spain (2016.03.12-2016.03.16)] Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 - Adding approximate counters

Steele, Guy L., Tristan, Jean-Baptiste

Year:

2016

Language:

english

File:

PDF, 409 KB

english, 2016

13

Evaluating value-graph translation validation for LLVM

Tristan, Jean-Baptiste, Govereau, Paul, Morrisett, Greg

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 737 KB

english, 2011

14

SPIE Proceedings [SPIE SPIE Astronomical Telescopes and Instrumentation: Observational Frontiers of Astronomy for the New Decade - San Diego, California (Sunday 27 June 2010)] Ground-based and Airborne Telescopes III - ASTEP 400: a telescope designed for exoplanet transit detection from Dome C, Antarctica

Daban, Jean-Baptiste, Gouvret, Carole, Guillot, Tristan, Agabi, Abdelkrim, Crouzet, Nicolas, Rivet, Jean-Pierre, Mekarnia, Djamel, Abe, Lyu, Bondoux, Erick, Fanteï-Caujolle, Yan, Fressin, François, Sc

Year:

2010

Language:

english

File:

PDF, 1.76 MB

english, 2010

15

A simple, verified validator for software pipelining

Tristan, Jean-Baptiste, Leroy, Xavier

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 663 KB

english, 2010

16

Best practices in data analysis and sharing in neuroimaging using MRI

Nichols, Thomas E, Das, Samir, Eickhoff, Simon B, Evans, Alan C, Glatard, Tristan, Hanke, Michael, Kriegeskorte, Nikolaus, Milham, Michael P, Poldrack, Russell A, Poline, Jean-Baptiste, Proal, Erika,

Journal:

Nature Neuroscience

Year:

2017

Language:

english

File:

PDF, 530 KB

english, 2017

17

Differences in Mitotic Spindle Architecture in Mammalian Neural Stem Cells Influence Mitotic Accuracy during Brain Development

Vargas-Hurtado, Diana, Brault, Jean-Baptiste, Piolot, Tristan, Leconte, Ludovic, Da Silva, Nathalie, Pennetier, Carole, Baffet, Alexandre, Marthiens, Véronique, Basto, Renata

Journal:

Current Biology

Year:

2019

File:

PDF, 5.37 MB

2019

18

[ACM Press the 22nd ACM SIGPLAN Symposium - Austin, Texas, USA (2017.02.04-2017.02.08)] Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '17 - Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions

Steele, Guy L., Tristan, Jean-Baptiste

Year:

2017

Language:

english

File:

PDF, 557 KB

english, 2017

19

Health-care workers knowledge, attitude and practice relating to Ebola virus disease

Valour, F., Perpoint, Thomas, Gerbier-Colomban, Solveig, Ronin, Vincent, Potinet, Véronique, Le Loch, Jean-Baptiste, Ader, Florence, Ferry, Tristan, Chidiac, Christian

Journal:

Journal of Hospital Infection

Year:

2017

Language:

english

File:

PDF, 313 KB

english, 2017

20

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - RockSalt

Morrisett, Greg, Tan, Gang, Tassarotti, Joseph, Tristan, Jean-Baptiste, Gan, Edward

Year:

2012

Language:

english

File:

PDF, 655 KB

english, 2012

21

[ACM Press the 18th ACM SIGPLAN symposium - Shenzhen, China (2013.02.23-2013.02.27)] Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '13 - Parallel programming with big operators

Park, Changhee, Steele, Guy L., Tristan, Jean-Baptiste

Year:

2013

Language:

english

File:

PDF, 445 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски